Model Theory of a Non-degenerate Representation of a Unital C-algebra
نویسنده
چکیده
We study the theory of a Hilbert space H as a module for a unital C∗-algebra A from the point of view of continuous logic. We show this theory, in an appropiate lenguage, has quantifier elimination and it is superstable. We show that for every v ∈ H the type tp(v/∅) is in correspondence with the positive linear functional over A defined by v. Finally, we characterize forking, orthogonality and domination of types and show the theory has weak elimination of imaginaries.
منابع مشابه
Isomorphisms in unital $C^*$-algebras
It is shown that every almost linear bijection $h : Arightarrow B$ of a unital $C^*$-algebra $A$ onto a unital$C^*$-algebra $B$ is a $C^*$-algebra isomorphism when $h(3^n u y) = h(3^n u) h(y)$ for allunitaries $u in A$, all $y in A$, and all $nin mathbb Z$, andthat almost linear continuous bijection $h : A rightarrow B$ of aunital $C^*$-algebra $A$ of real rank zero onto a unital$C^*$-algebra...
متن کاملLocal tracial C*-algebras
Let $Omega$ be a class of unital $C^*$-algebras. We introduce the notion of a local tracial $Omega$-algebra. Let $A$ be an $alpha$-simple unital local tracial $Omega$-algebra. Suppose that $alpha:Gto $Aut($A$) is an action of a finite group $G$ on $A$ which has a certain non-simple tracial Rokhlin property. Then the crossed product algebra $C^*(G,A,alpha)$ is a unital local traci...
متن کاملSpectrum Preserving Linear Maps Between Banach Algebras
In this paper we show that if A is a unital Banach algebra and B is a purely innite C*-algebra such that has a non-zero commutative maximal ideal and $phi:A rightarrow B$ is a unital surjective spectrum preserving linear map. Then $phi$ is a Jordan homomorphism.
متن کاملA Note on Spectrum Preserving Additive Maps on C*-Algebras
Mathieu and Ruddy proved that if be a unital spectral isometry from a unital C*-algebra Aonto a unital type I C*-algebra B whose primitive ideal space is Hausdorff and totallydisconnected, then is Jordan isomorphism. The aim of this note is to show that if be asurjective spectrum preserving additive map, then is a Jordan isomorphism without the extraassumption totally disconnected.
متن کاملThe Bv Algebra on Hochschild Cohomology Induced by Infinity Inner Products
Abstract. We define a BV-structure on the Hochschild-cohomology of a unital, associative algebra A with a symmetric, invariant and non-degenerate inner product. The induced Gerstenhaber algebra is the one described in Gerstenhaber’s original paper on Hochschild-cohomology. We also prove the corresponding theorem in the homotopy case, namely we define the BV-structure on the Hochschild-cohomolog...
متن کامل